DUGi: Llistar Títols | Clause learning | 0 - 1

Llistar Títols per Matèria "Clause learning"

S'ha trobat un ítem:

1

Format	Data	Títol	Autor
Format	Data	Títol	Autor
	1 setembre 2019	Eina educativa de suport per l’estudi de resoledors SAT	Cané Salamià, Marc

1

Matèries

Solució de problemes Clause learning Backjumping SAT Universitat de Girona Problem solving Problema de satisfactibilitat booleana

Autors

Coll, Jordi Universitat de Girona. Escola Politècnica Superior Villaret Auselle, Mateu Cané Salamià, Marc